failure 113:
Requirement failed: {remquo.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/math_real_scenario.utz (math_real_scenario.utt), line 19398 |
| occurence |
| scenario |
math_real_scenario |
| specification function |
remquo_spec() |
| parameter value |
CallContext context = [pid=4318,thr=b7533700] |
| parameter value |
Unifloat * @x = (double) 7.0000000000000000e+00 (0x.E000000000000000P3) |
| parameter value |
Unifloat * x = (double) 7.0000000000000000e+00 (0x.E000000000000000P3) |
| parameter value |
Unifloat * @y = (double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
| parameter value |
Unifloat * y = (double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
| parameter value |
Unifloat ** @quo = <0xbf95d95c>ptr to <NULL> |
| parameter value |
Unifloat ** quo = <0xbf95d95c>ptr to (double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (double) NaN |
coverage
& branch |
C
y is 0 and x is non-NaN |
| properties |
| REQ failed |
remquo.07.01.01 |
| expected value |
(double) NaN |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The remquo(x, y, quo) family of functions shall return the floating-point remainder r = x-ny when y is non-zero
und update quo variable.
According to LSB, if the x argument is +Inf, -Inf, or the y argument is +0 or -0 and the other argument is non-NaN.
then error code shall be set to EDOM.
But on the target machine, the functions set error code EOK instead of EDOM in these cases.
|
|